Don't use "prints" except for printers.

diff --git a/man/building.texi b/man/building.texi
index a4c63ed6878b3d6059e4d347bd8c7af87290195e..3b666821c8430a9807a7df55fecd910e24e61bf2 100644 (file)
--- a/man/building.texi
+++ b/man/building.texi
@@ -626,7 +626,7 @@ the result of compiling @file{@var{lib}.el}; it is better to load the
 compiled file, since it will load and run faster.
 
   If @code{load-library} finds that @file{@var{lib}.el} is newer than
-@file{@var{lib}.elc} file, it prints a warning, because it's likely that
+@file{@var{lib}.elc} file, it issues a warning, because it's likely that
 somebody made changes to the @file{.el} file and forgot to recompile
 it.